Jayadev Misra: Z-Library 사이트에서 검색하기

지식과 문화를 자유롭게 접하기.

Don't use scam websites

책들 (21)
가장 인기 있는
목록
- 목록
- 표

1

Theories of Programming: The Life and Works of Tony Hoare

Theories of Programming: The Life and Works of Tony Hoare

Cliff B Jones, Jayadev Misra, (eds.)

년:

2021

언어:

english

파일:

PDF, 12.99 MB

5.0 / 0

english, 2021

2

Effective Theories in Programming Practice

Effective Theories in Programming Practice

년:

2022

언어:

english

파일:

PDF, 13.46 MB

0 / 5.0

english, 2022

3

Parallel Program Design: A Foundation

Parallel Program Design: A Foundation

Addison-Wesley Pub (Sd)

K. Mani Chandy, Jayadev Misra

년:

1988

언어:

english

파일:

PDF, 19.93 MB

0 / 0

english, 1988

4

Effective Theories in Programming Practice

Effective Theories in Programming Practice

Association for Computing Machinery

년:

2022

언어:

english

파일:

EPUB, 7.28 MB

0 / 5.0

english, 2022

5

Theories of Programming: The Life and Works of Tony Hoare

Theories of Programming: The Life and Works of Tony Hoare

Association for Computing Machinery

Cliff B. Jones, Jayadev Misra

년:

2021

언어:

english

파일:

PDF, 12.99 MB

5.0 / 0

english, 2021

6

Communications of the ACM - April 2022

Communications of the ACM - April 2022

Cliff Jones, Jayadev Misra

년:

2022

언어:

english

파일:

PDF, 13.35 MB

5.0 / 0

english, 2022

7

A Discipline of Multiprogramming

A Discipline of Multiprogramming

Springer Science & Business Media

년:

2012

언어:

english

파일:

PDF, 32.69 MB

0 / 0

english, 2012

8

FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings

FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings

Springer-Verlag Berlin Heidelberg

Thomas A. Henzinger, Joseph Sifakis (auth.), Jayadev Misra, Tobias Nipkow, Emil Sekerinski (eds.)

년:

2006

언어:

english

파일:

PDF, 6.76 MB

0 / 0

english, 2006

9

Theoretical Aspects of Computing – ICTAC 2011: 8th International Colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings

Theoretical Aspects of Computing – ICTAC 2011: 8th International Colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Jayadev Misra (auth.), Antonio Cerone, Pekka Pihlajasaari (eds.)

년:

2011

언어:

english

파일:

PDF, 3.64 MB

0 / 0

english, 2011

10

Euro-Par 2002 Parallel Processing: 8th International Euro-Par Conference Paderborn, Germany, August 27–30, 2002 Proceedings

Euro-Par 2002 Parallel Processing: 8th International Euro-Par Conference Paderborn, Germany, August 27–30, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Young-ri Choi, Amit Garg, Siddhartha Rai, Jayadev Misra, Harrick Vin (auth.), Burkhard Monien, Rainer Feldmann (eds.)

년:

2002

언어:

english

파일:

PDF, 12.94 MB

0 / 0

english, 2002

11

Parallel Program Design: A Foundation

Parallel Program Design: A Foundation

Addison-Wesley Pub (Sd)

K. Mani Chandy, Jayadev Misra

년:

1988

언어:

english

파일:

DJVU, 4.39 MB

0 / 0

english, 1988

12

A discipline of multiprogramming: programming theory for distributed applications

A discipline of multiprogramming: programming theory for distributed applications

년:

2001

언어:

english

파일:

DJVU, 2.78 MB

0 / 4.5

english, 2001

13

Theoretical Aspects of Computing – ICTAC 2011: 8th International Colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings

Theoretical Aspects of Computing – ICTAC 2011: 8th International Colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Jayadev Misra (auth.), Antonio Cerone, Pekka Pihlajasaari (eds.)

년:

2011

언어:

english

파일:

PDF, 3.74 MB

0 / 0

english, 2011

14

Reasearch Directions in High-Level Parallel Programming Languages: Mont Saint-Michel, France, June 17–19, 1991 Proceedings

Reasearch Directions in High-Level Parallel Programming Languages: Mont Saint-Michel, France, June 17–19, 1991 Proceedings

Springer-Verlag Berlin Heidelberg

Jayadev Misra (auth.), Jean Pierre Banâtre, Daniel Le Métayer (eds.)

년:

1992

언어:

english

파일:

PDF, 6.28 MB

0 / 0

english, 1992

15

Reasearch Directions in High-Level Parallel Programming Languages: Mont Saint-Michel, France, June 17–19, 1991 Proceedings

Reasearch Directions in High-Level Parallel Programming Languages: Mont Saint-Michel, France, June 17–19, 1991 Proceedings

Springer-Verlag Berlin Heidelberg

Jayadev Misra (auth.), Jean Pierre Banâtre, Daniel Le Métayer (eds.)

년:

1992

언어:

english

파일:

DJVU, 3.48 MB

0 / 0

english, 1992

16

Parallel Program Design: A Foundation

Parallel Program Design: A Foundation

K. Mani Chandy, Jayadev Misra

년:

1988

언어:

english

파일:

DJVU, 3.38 MB

0 / 0

english, 1988

17

A Discipline of Multiprogramming: Programming Theory for Distributed Applications

A Discipline of Multiprogramming: Programming Theory for Distributed Applications

년:

2001

언어:

english

파일:

PDF, 9.72 MB

0 / 0

english, 2001

18

Constructive Methods in Computing Science: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare

Constructive Methods in Computing Science: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare

Springer-Verlag Berlin Heidelberg

Jayadev Misra (auth.), Manfred Broy (eds.)

년:

1989

언어:

english

파일:

PDF, 17.11 MB

0 / 0

english, 1989

19

Constructive Methods in Computing Science: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare

Constructive Methods in Computing Science: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare

Springer-Verlag Berlin Heidelberg

Jayadev Misra (auth.), Manfred Broy (eds.)

년:

1989

언어:

english

파일:

DJVU, 3.95 MB

0 / 0

english, 1989

20

Formal Techniques for Distributed Systems: Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings

Formal Techniques for Distributed Systems: Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

David Kitchin, Adrian Quark, William Cook, Jayadev Misra (auth.), David Lee, Antónia Lopes, Arnd Poetzsch-Heffter (eds.)

년:

2009

언어:

english

파일:

PDF, 5.36 MB

0 / 0

english, 2009

21

Formal Techniques for Distributed Systems: Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings

Formal Techniques for Distributed Systems: Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

David Kitchin, Adrian Quark, William Cook, Jayadev Misra (auth.), David Lee, Antónia Lopes, Arnd Poetzsch-Heffter (eds.)

년:

2009

언어:

english

파일:

PDF, 3.05 MB

0 / 0

english, 2009